Graph Based Modeling and Implementation with EER /

This paper gives a cohesive approach to modeling and implementation with graphs. This approach uses extended entity relationship EER diagrams supplemented with the Z-like constraint language GRAL. Due to the foundation of EERRGRAL on Z a common formal basis exists. EERRGRAL descriptions give conceptual models which can be implemented in a seamless manner by eecient data structures using the GraLab graph library. Descriptions of four medium size EERRGRAL-applications conclude the paper to demonstrate the usefulness of the approach in practice.